deferred class IFACE
feature
    a()
    deferred 
    end
end

class APP
feature
    INIT(a : ARRAY[STRING])
    do
    end
end